introduction to symbolic logic philosophy